1

Minimal p-Morphic Images, Axiomatizations and Coverings in the Modal Logic K4

Year:
1999
Language:
english
File:
PDF, 2.99 MB
english, 1999
2

Selected Papers in Honour of Ettore Casari || Finite Trees in Tense Logic

Year:
1999
Language:
english
File:
PDF, 2.33 MB
english, 1999